On the Practicality of Global Flow Analysis of Logic Programs
نویسندگان
چکیده
This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of both speed and precision of analysis. It discusses design and implementation aspects of two practical abstract interpretation-based flow analysis systems: MA, the MOO Andparallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained from these implementations. Based on these results, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.
منابع مشابه
Influential factors related to practicality of entrepreneurial ideas Case: internships practitioners involved in rural education bases in Isfahan Province
Introduction: The formation of idea is being considered as a first step regarding the creation of new innovative thoughts in any organization. That is idea processing is an important phase regarding the development of new products as well as innovations. Idea about new products processes and markets create new opportunities which potentially is capable of new innovations. This in turn, accel...
متن کاملGlobal Flow Analysis as a Practical Compilation Tool
This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of speed of the analysis, precisión, and usefulness of the information obtained. To this end, design and implementation aspects are discussed for two practical abstract interpretation-based flow analysis systems: MA , the MCC And-parallel Analyzer and Annotator; and Ms, an experimen...
متن کاملFuzzy Logic Based Risk Analysis for Covid-19: A Case Study in Medical Centers
Background and objectives: The gravity point of all management systems in the new approach of global worldwide standards includes management and assessment of risks and opportunities. Although the spread of COVID-19 as a global pandemic has threatened the health of the workforce and caused catastrophic human and economic consequences, the occurrence of this global challenge has also created opp...
متن کاملA new model for Physical flow optimization in the global automotive value chain (Case study: SIBA MOTOR Company)
Taking into account the economic capabilities, competitive advantages and environment dynamics, this research presents a new physical flow optimization model by considering payment period, time value of money and exchange rate fluctuations. Considering the actual circumstances of the current case study in the global value chain, a single-objective non-linear mathematical model is presented for ...
متن کاملSocial Logic of Cities and Urban Tourism Accessibility; Space Syntax Analysis of Kuala Lumpur City Centre
Tourism is a progressively major part of economies of urban areas. Urban regeneration as a subcategory of urban tourism has been the center of many urban projects. This study addresses the role of space syntax theory as an analytical tool and design aided tool in urban regeneration. For this purpose, we examined the development of a square in the Kuala Lumpur City Center (KLCC) using space synt...
متن کامل